<?php
if( !isset($_SESSION["user_id"]) )
{
	// re-login
	header("Location: login.php");
	die;
}
?>
